package org.act.bpel2automata.views;


import org.act.bpel2automata.views.model.TreeViewerContentProvider;
import org.act.bpel2automata.views.model.TreeViewerLabelProvider;
import org.eclipse.jface.viewers.TreeViewer;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.ui.part.ViewPart;

public class BisimulationView extends ViewPart{
	private TreeViewer tv;
	
	public void createPartControl(Composite parent){
		tv = new TreeViewer(parent,SWT.MULTI|SWT.H_SCROLL|SWT.V_SCROLL);
		
		tv.setContentProvider(new TreeViewerContentProvider());
		tv.setLabelProvider(new TreeViewerLabelProvider());
		
		//tv.setInput(EntityFactory.genElements());
	}
	
	public void setFocus(){
		
	}

	public TreeViewer getTreeViewer() {
		return tv;
	}

	public void setTreeViewer(TreeViewer tv) {
		this.tv = tv;
	}
}
